#ifndef _MEMORY_H
#define _MEMORY_H

#include "globals.h"

memaddr_t * remap_memory(unsigned int base_address);

/* Obtain an address for a pointer */
memaddr_t * map_memory_register(memaddr_t * addr);

#endif

